#pragma once

#include "constants.h"

namespace solver
{
	typedef int variable_name;
	typedef short variable_reference;
	typedef short variable_index;
	typedef short variable_value;

	class variable
	{
	public:
		variable_name		name;
		variable_reference	ref;
		int					use_count;
	};

}